tweener: Also consider delay when disabling animations

'time' is not the only timing parameter for tweens, in order to
really disable animations, we need to override 'delay' as well.

diff --git a/js/ui/tweener.js b/js/ui/tweener.js
index 5765fe742882f8b4678283f3cbaf6e00f9768adf..d73214518e9f6a38f2c6bb57bc5e00a8419e01e3 100644 (file)
--- a/js/ui/tweener.js
+++ b/js/ui/tweener.js
@@ -53,8 +53,10 @@ function _wrapTweening(target, tweeningParameters) {
         }
     }
 
-    if (!Gtk.Settings.get_default().gtk_enable_animations)
+    if (!Gtk.Settings.get_default().gtk_enable_animations) {
         tweeningParameters['time'] = 0.000001;
+        tweeningParameters['delay'] = 0.000001;
+    }
 
     _addHandler(target, tweeningParameters, 'onComplete', _tweenCompleted);
 }